Formal Logic — synonyms, definition

1. formal logic (Noun)

2 synonyms
mathematical logic symbolic logic
1 definition

formal logic (Noun) — Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity.

3 types of
logic logical system system of logic
8 types
Boolean algebra Boolean logic functional calculus fuzzy logic modal logic predicate calculus propositional calculus propositional logic